temporal logic specification in Chinese

TranslationMobile

"temporal" in Chinese : n. 太陽穴，顳部；顳骨[肌，動(dòng)脈等]。 adj. 顳的 ...
"logic" in Chinese : n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
"specification" in Chinese : n. 1.詳細(xì)說明，逐一登記，詳記。 2.〔pl.〕規(guī)范 ...
"temporal logic" in Chinese : 時(shí)間邏輯 [時(shí)序邏輯; 時(shí)序邏輯, 時(shí)態(tài)邏輯, 暫時(shí)邏輯
"branching time temporal logic" in Chinese : 分支時(shí)間時(shí)態(tài)邏輯
"first-order temporal logic" in Chinese : 一組時(shí)態(tài)邏輯
"temporal logic language" in Chinese : 時(shí)序邏輯語言
"time temporal logic, ttl" in Chinese : 是時(shí)序邏輯
"programming logic specification" in Chinese : 程序設(shè)計(jì)邏輯規(guī)范書
"temporal" in Chinese : adj. 1.暫時(shí)的，一時(shí)的，轉(zhuǎn)瞬間的(opp. eternal)。 2.此 ...
"specification" in Chinese : n. 1.詳細(xì)說明，逐一登記，詳記。 2.〔pl.〕規(guī)范，規(guī)格。 3.清單， ...
"specification for" in Chinese : 標(biāo)準(zhǔn); 建設(shè)工程文件歸檔整理規(guī)范
"-logic" in Chinese : -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形 ...
"and logic" in Chinese : “與”邏輯
"logic" in Chinese : n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓 ...

6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms
Model checking過去主要是作為一種驗(yàn)證技術(shù)被廣為使用的，本文作者通過對dmc以及后續(xù)工程項(xiàng)目的研究發(fā)現(xiàn)， model checking完全可以作為一種計(jì)算技術(shù)被廣泛使用，就相當(dāng)于已經(jīng)成為經(jīng)典編譯技術(shù)yacc在軟件開發(fā)的各個(gè)層面上被廣泛使用一樣。

What is the meaning of temporal logic specification in Chinese and how to say temporal logic specification in Chinese? temporal logic specification Chinese meaning, temporal logic specification的中文，temporal logic specification的中文，temporal logic specification的中文，translation, pronunciation, synonyms and example sentences are provided by ichacha.net.